9:30
            
            
                
                    - 10:15
                
            
        社会インフラとしての地理空間情報の整備と利活用
                Development and utilization of geospatial information as a social infrastructure
                
            
                10:15
            
            
                
                    - 10:30
                
            
        形式概念分析に基づく機械学習モデルを用いた交通事故予測システムの開発
                Development of a traffic accident prediction system using machine learning models based on formal concept analysis
                
            
                10:30
            
            
                
                    - 10:45
                
            
        過密走行する二輪車に対応可能な2次元LiDARを用いた道路交通計測方式
                Road Traffic Measurement Method Using  2D LiDAR Sensors Applicable to Large Numbers of Two-Wheeled Vehicles
                
            
                11:00
            
            
                
                    - 11:15
                
            
        画像処理を用いた木材の径級分類に関する研究
                Automatic measurement of wood minimum diameter by image processing
                
            
                11:15
            
            
                
                    - 11:30
                
            
        都市空間における全体最適を指向した自律的交通制御則の開発
                Studies on Autonomous Traffic Control Policies Considering Total Optimization in Urban Districts
                
            
                11:30
            
            
                
                    - 11:45
                
            
        UPPAAL SMCを用いた交差点における自動運転車群制御システムの検証
                Formal verification of autonomous vehicle group control systems at an intersection using UPPAAL SMC
                
            
                11:45
            
            
                
                    - 12:00
                
            
        巡回セールスマン問題の整数線形計画問題の近傍制約による近似的求解
                Approximated Solutions to Integer Linear Programing Problems of Traveling Salesman Problems by using Neighbor Constraints
                
            
                12:00
            
            
                
                    - 12:15
                
            
        ロードヒーティングを含む配電システムのモデリングとスイッチング制御
                Modeling and switching control of power distribution systems including road heating
                
            
                12:15
            
            
                
                    - 12:30
                
            
        最大起動停止速度を考慮した多項式型ユニットコミットメント
                Polynomial unit commitment considering maximum up and down rates